acm transactions on computational logicの例文

例文

1. The term  Computational Logic came to prominence with the founding of the ACM Transactions on Computational Logic.
2. Krzysztof Apt, who was the co-ordinator of the Basic Research Project Compulog-II, reused and generalized the term when he founded the ACM Transactions on Computational Logic in 2000 and became its first Editor-in-Chief.